[next] [prev] [prev-tail] [tail] [up]

2.2.12 Integrals 1101 to 1200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 49 692 0 76

N.S.

1 1.13 0.58 0.54 0.75 0.53 7.52 0.00 0.83

time (sec)

N/A 0.218 0.294 4.380 0.206 0.253 1.380 0.000 5.921

Problem 1102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 134 64 61 86 60 1046 0 96

N.S.

1 1.16 0.55 0.53 0.74 0.52 9.02 0.00 0.83

time (sec)

N/A 0.251 0.345 4.478 0.247 0.252 1.925 0.000 5.997

Problem 1103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 140 80 0 0 0 37 0 0

N.S.

1 1.09 0.62 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.274 7.479 0.000 0.000 0.000 0.602 0.000 0.000

Problem 1104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 110 64 0 0 0 37 0 0

N.S.

1 1.05 0.61 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.262 7.354 0.000 0.000 0.000 0.500 0.000 0.000

Problem 1105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 80 51 0 0 0 37 0 0

N.S.

1 1.00 0.64 0.00 0.00 0.00 0.46 0.00 0.00

time (sec)

N/A 0.228 7.116 0.000 0.000 0.000 0.440 0.000 0.000

Problem 1106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

75 75 49 0 0 0 39 0 40

N.S.

1 1.00 0.65 0.00 0.00 0.00 0.52 0.00 0.53

time (sec)

N/A 0.231 10.016 0.000 0.000 0.000 0.478 0.000 5.815

Problem 1107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 105 51 0 0 0 29 0 0

N.S.

1 1.00 0.49 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.252 10.016 0.000 0.000 0.000 0.583 0.000 0.000

Problem 1108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 135 51 0 0 0 44 0 0

N.S.

1 1.05 0.40 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.286 10.014 0.000 0.000 0.000 0.690 0.000 0.000

Problem 1109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

153 165 51 0 0 0 44 0 0

N.S.

1 1.08 0.33 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.326 10.014 0.000 0.000 0.000 0.899 0.000 0.000

Problem 1110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

98 103 61 58 80 57 116 74 58

N.S.

1 1.05 0.62 0.59 0.82 0.58 1.18 0.76 0.59

time (sec)

N/A 0.235 0.054 4.399 0.191 0.269 0.983 0.277 5.663

Problem 1111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 82 50 47 64 46 92 61 48

N.S.

1 1.05 0.64 0.60 0.82 0.59 1.18 0.78 0.62

time (sec)

N/A 0.211 0.050 4.503 0.191 0.248 0.694 0.280 5.684

Problem 1112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

56 61 39 36 46 35 68 46 36

N.S.

1 1.09 0.70 0.64 0.82 0.62 1.21 0.82 0.64

time (sec)

N/A 0.200 0.046 4.332 0.189 0.281 0.407 0.290 5.694

Problem 1113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 40 27 24 30 23 44 30 24

N.S.

1 1.11 0.75 0.67 0.83 0.64 1.22 0.83 0.67

time (sec)

N/A 0.184 0.038 4.230 0.189 0.275 0.265 0.276 5.660

Problem 1114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 20 13 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 1.33 0.87 0.87

time (sec)

N/A 0.143 0.023 4.309 0.199 0.263 0.091 0.278 6.021

Problem 1115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

55 61 46 59 57 104 39 186 34

N.S.

1 1.11 0.84 1.07 1.04 1.89 0.71 3.38 0.62

time (sec)

N/A 0.190 0.077 4.396 0.272 0.256 0.540 0.273 5.982

Problem 1116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 86 78 86 94 192 39 221 58

N.S.

1 1.10 1.00 1.10 1.21 2.46 0.50 2.83 0.74

time (sec)

N/A 0.199 0.155 4.411 0.300 0.270 0.819 0.301 5.943

Problem 1117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

104 116 92 108 132 218 39 244 82

N.S.

1 1.12 0.88 1.04 1.27 2.10 0.38 2.35 0.79

time (sec)

N/A 0.213 0.195 4.396 0.273 0.265 1.714 0.302 6.079

Problem 1118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 146 91 0 0 0 27 0 0

N.S.

1 1.14 0.71 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.234 8.864 0.000 0.000 0.000 0.751 0.000 0.000

Problem 1119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 116 79 0 0 0 27 0 0

N.S.

1 1.12 0.76 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.212 8.232 0.000 0.000 0.000 0.584 0.000 0.000

Problem 1120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 86 64 0 0 0 27 0 0

N.S.

1 1.05 0.78 0.00 0.00 0.00 0.33 0.00 0.00

time (sec)

N/A 0.190 7.941 0.000 0.000 0.000 0.483 0.000 0.000

Problem 1121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 51 0 0 0 27 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.47 0.00 0.00

time (sec)

N/A 0.171 7.303 0.000 0.000 0.000 0.442 0.000 0.000

Problem 1122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 51 0 0 0 31 0 0

N.S.

1 1.00 0.62 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.188 10.016 0.000 0.000 0.000 0.548 0.000 0.000

Problem 1123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 51 0 0 0 32 0 0

N.S.

1 1.08 0.49 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.207 10.018 0.000 0.000 0.000 0.686 0.000 0.000

Problem 1124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 142 51 0 0 0 32 0 0

N.S.

1 1.11 0.40 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.234 10.021 0.000 0.000 0.000 0.833 0.000 0.000

Problem 1125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 117 89 108 155 227 37 0 0

N.S.

1 1.10 0.84 1.02 1.46 2.14 0.35 0.00 0.00

time (sec)

N/A 0.244 0.604 4.608 0.396 0.264 1.591 0.000 0.000

Problem 1126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 87 75 85 110 201 37 0 0

N.S.

1 1.09 0.94 1.06 1.38 2.51 0.46 0.00 0.00

time (sec)

N/A 0.203 0.449 4.496 0.377 0.285 0.734 0.000 0.000

Problem 1127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 57 50 65 68 126 37 0 0

N.S.

1 1.00 0.88 1.14 1.19 2.21 0.65 0.00 0.00

time (sec)

N/A 0.179 0.333 4.348 0.410 0.257 0.524 0.000 0.000

Problem 1128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 18 17 17 31 0 17

N.S.

1 1.00 1.00 0.95 0.89 0.89 1.63 0.00 0.89

time (sec)

N/A 0.144 0.268 4.317 0.214 0.258 0.389 0.000 5.928

Problem 1129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 44 31 26 35 27 68 0 25

N.S.

1 1.00 0.70 0.59 0.80 0.61 1.55 0.00 0.57

time (sec)

N/A 0.166 0.351 4.557 0.200 0.250 0.566 0.000 5.910

Problem 1130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

68 74 42 39 52 38 406 0 38

N.S.

1 1.09 0.62 0.57 0.76 0.56 5.97 0.00 0.56

time (sec)

N/A 0.192 0.425 4.385 0.199 0.266 0.875 0.000 5.999

Problem 1131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 104 53 50 69 49 692 0 76

N.S.

1 1.13 0.58 0.54 0.75 0.53 7.52 0.00 0.83

time (sec)

N/A 0.218 0.495 4.441 0.195 0.280 1.302 0.000 6.034

Problem 1132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 143 90 0 0 0 37 0 0

N.S.

1 1.11 0.70 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.283 8.592 0.000 0.000 0.000 0.691 0.000 0.000

Problem 1133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 113 79 0 0 0 37 0 0

N.S.

1 1.08 0.75 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.277 8.148 0.000 0.000 0.000 0.543 0.000 0.000

Problem 1134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 62 0 0 0 37 0 0

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.243 7.517 0.000 0.000 0.000 0.460 0.000 0.000

Problem 1135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

61 61 46 0 0 0 36 0 37

N.S.

1 1.00 0.75 0.00 0.00 0.00 0.59 0.00 0.61

time (sec)

N/A 0.202 7.011 0.000 0.000 0.000 0.433 0.000 5.642

Problem 1136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 51 0 0 0 41 0 0

N.S.

1 1.00 0.60 0.00 0.00 0.00 0.48 0.00 0.00

time (sec)

N/A 0.240 10.014 0.000 0.000 0.000 0.539 0.000 0.000

Problem 1137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

107 115 51 0 0 0 44 0 0

N.S.

1 1.07 0.48 0.00 0.00 0.00 0.41 0.00 0.00

time (sec)

N/A 0.269 10.018 0.000 0.000 0.000 0.680 0.000 0.000

Problem 1138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 145 51 0 0 0 44 0 0

N.S.

1 1.11 0.39 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.299 10.015 0.000 0.000 0.000 0.878 0.000 0.000

Problem 1139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 103 61 58 81 69 116 87 69

N.S.

1 1.04 0.62 0.59 0.82 0.70 1.17 0.88 0.70

time (sec)

N/A 0.222 0.059 4.423 0.191 0.298 0.974 0.278 5.817

Problem 1140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 80 50 47 62 58 92 69 55

N.S.

1 1.08 0.68 0.64 0.84 0.78 1.24 0.93 0.74

time (sec)

N/A 0.204 0.052 4.383 0.188 0.284 0.650 0.284 5.791

Problem 1141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 61 39 36 47 47 68 53 39

N.S.

1 1.07 0.68 0.63 0.82 0.82 1.19 0.93 0.68

time (sec)

N/A 0.204 0.047 4.451 0.202 0.255 0.407 0.266 5.736

Problem 1142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 40 27 24 29 35 44 34 23

N.S.

1 1.14 0.77 0.69 0.83 1.00 1.26 0.97 0.66

time (sec)

N/A 0.184 0.040 4.299 0.195 0.265 0.260 0.281 5.767

Problem 1143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 24 24 14 14

N.S.

1 1.00 1.00 0.94 0.88 1.50 1.50 0.88 0.88

time (sec)

N/A 0.147 0.023 4.337 0.192 0.262 0.127 0.270 6.143

Problem 1144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 81 66 92 75 182 39 199 52

N.S.

1 1.16 0.94 1.31 1.07 2.60 0.56 2.84 0.74

time (sec)

N/A 0.222 0.108 4.479 0.276 0.276 0.589 0.282 6.345

Problem 1145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 109 81 112 110 272 39 234 87

N.S.

1 1.12 0.84 1.15 1.13 2.80 0.40 2.41 0.90

time (sec)

N/A 0.226 0.239 4.490 0.289 0.284 0.991 0.293 5.974

Problem 1146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 139 98 127 146 285 39 255 123

N.S.

1 1.11 0.78 1.02 1.17 2.28 0.31 2.04 0.98

time (sec)

N/A 0.239 0.286 4.482 0.285 0.273 2.581 0.282 6.044

Problem 1147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 142 79 0 0 0 27 0 0

N.S.

1 1.11 0.62 0.00 0.00 0.00 0.21 0.00 0.00

time (sec)

N/A 0.233 9.778 0.000 0.000 0.000 0.745 0.000 0.000

Problem 1148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 66 0 0 0 27 0 0

N.S.

1 1.08 0.63 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.215 9.305 0.000 0.000 0.000 0.581 0.000 0.000

Problem 1149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

77 82 54 0 0 0 27 0 0

N.S.

1 1.06 0.70 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.187 8.672 0.000 0.000 0.000 0.488 0.000 0.000

Problem 1150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

57 57 57 0 0 0 27 0 0

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.47 0.00 0.00

time (sec)

N/A 0.168 8.536 0.000 0.000 0.000 0.488 0.000 0.000

Problem 1151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 54 0 0 0 31 0 0

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.188 10.016 0.000 0.000 0.000 0.607 0.000 0.000

Problem 1152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

104 112 54 0 0 0 32 0 0

N.S.

1 1.08 0.52 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.204 10.017 0.000 0.000 0.000 0.765 0.000 0.000

Problem 1153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

128 142 54 0 0 0 32 0 0

N.S.

1 1.11 0.42 0.00 0.00 0.00 0.25 0.00 0.00

time (sec)

N/A 0.230 10.016 0.000 0.000 0.000 0.970 0.000 0.000

Problem 1154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 140 98 125 172 292 37 0 0

N.S.

1 1.14 0.80 1.02 1.40 2.37 0.30 0.00 0.00

time (sec)

N/A 0.255 0.864 4.898 0.286 0.267 2.426 0.000 0.000

Problem 1155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

97 110 82 111 130 280 37 0 0

N.S.

1 1.13 0.85 1.14 1.34 2.89 0.38 0.00 0.00

time (sec)

N/A 0.223 0.638 4.552 0.283 0.255 0.899 0.000 0.000

Problem 1156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 79 67 99 88 206 37 0 0

N.S.

1 1.07 0.91 1.34 1.19 2.78 0.50 0.00 0.00

time (sec)

N/A 0.191 0.476 4.406 0.298 0.280 0.582 0.000 0.000

Problem 1157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

16 16 16 15 14 23 29 0 14

N.S.

1 1.00 1.00 0.94 0.88 1.44 1.81 0.00 0.88

time (sec)

N/A 0.138 0.252 4.292 0.214 0.254 0.377 0.000 6.051

Problem 1158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 31 26 34 37 68 0 25

N.S.

1 1.00 0.74 0.62 0.81 0.88 1.62 0.00 0.60

time (sec)

N/A 0.157 0.312 4.487 0.232 0.257 0.573 0.000 6.010

Problem 1159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

66 72 42 39 53 50 323 0 70

N.S.

1 1.09 0.64 0.59 0.80 0.76 4.89 0.00 1.06

time (sec)

N/A 0.183 0.550 4.506 0.206 0.252 0.879 0.000 6.203

Problem 1160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 102 53 50 71 61 592 0 74

N.S.

1 1.13 0.59 0.56 0.79 0.68 6.58 0.00 0.82

time (sec)

N/A 0.214 0.728 4.418 0.219 0.279 1.321 0.000 6.390

Problem 1161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 132 64 61 87 72 928 0 93

N.S.

1 1.16 0.56 0.54 0.76 0.63 8.14 0.00 0.82

time (sec)

N/A 0.262 1.012 4.500 0.218 0.269 1.924 0.000 6.530

Problem 1162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 143 80 0 0 0 37 0 0

N.S.

1 1.11 0.62 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.284 9.644 0.000 0.000 0.000 0.822 0.000 0.000

Problem 1163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 113 67 0 0 0 37 0 0

N.S.

1 1.08 0.64 0.00 0.00 0.00 0.35 0.00 0.00

time (sec)

N/A 0.263 9.069 0.000 0.000 0.000 0.612 0.000 0.000

Problem 1164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 60 0 0 0 37 0 0

N.S.

1 1.00 0.72 0.00 0.00 0.00 0.45 0.00 0.00

time (sec)

N/A 0.236 8.478 0.000 0.000 0.000 0.499 0.000 0.000

Problem 1165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 54 0 0 0 37 0 0

N.S.

1 1.00 0.92 0.00 0.00 0.00 0.63 0.00 0.00

time (sec)

N/A 0.213 8.070 0.000 0.000 0.000 0.490 0.000 0.000

Problem 1166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

79 79 52 0 0 0 39 0 40

N.S.

1 1.00 0.66 0.00 0.00 0.00 0.49 0.00 0.51

time (sec)

N/A 0.235 10.013 0.000 0.000 0.000 0.543 0.000 6.290

Problem 1167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 109 54 0 0 0 44 0 0

N.S.

1 1.04 0.51 0.00 0.00 0.00 0.42 0.00 0.00

time (sec)

N/A 0.258 10.013 0.000 0.000 0.000 0.682 0.000 0.000

Problem 1168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

129 139 54 0 0 0 44 0 0

N.S.

1 1.08 0.42 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.303 10.018 0.000 0.000 0.000 0.904 0.000 0.000

Problem 1169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

153 169 54 0 0 0 44 0 0

N.S.

1 1.10 0.35 0.00 0.00 0.00 0.29 0.00 0.00

time (sec)

N/A 0.336 10.018 0.000 0.000 0.000 1.172 0.000 0.000

Problem 1170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 56 0 0 0 36 0 37

N.S.

1 1.00 0.67 0.00 0.00 0.00 0.43 0.00 0.45

time (sec)

N/A 0.226 8.399 0.000 0.000 0.000 0.528 0.000 5.652

Problem 1171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

39 39 29 26 31 47 126 0 28

N.S.

1 1.00 0.74 0.67 0.79 1.21 3.23 0.00 0.72

time (sec)

N/A 0.164 0.356 4.295 0.195 0.269 0.648 0.000 5.531

Problem 1172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

102 110 72 0 0 0 36 0 37

N.S.

1 1.08 0.71 0.00 0.00 0.00 0.35 0.00 0.36

time (sec)

N/A 0.249 10.039 0.000 0.000 0.000 0.880 0.000 5.561

Problem 1173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 66 40 37 50 69 515 0 44

N.S.

1 1.14 0.69 0.64 0.86 1.19 8.88 0.00 0.76

time (sec)

N/A 0.184 0.511 4.494 0.200 0.248 1.316 0.000 5.486

Problem 1174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

77 93 51 48 67 91 1550 0 61

N.S.

1 1.21 0.66 0.62 0.87 1.18 20.13 0.00 0.79

time (sec)

N/A 0.203 0.901 4.375 0.213 0.260 2.533 0.000 5.598

Problem 1175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

106 110 73 59 86 69 134 120 68

N.S.

1 1.04 0.69 0.56 0.81 0.65 1.26 1.13 0.64

time (sec)

N/A 0.227 0.060 4.342 0.198 0.253 0.958 0.326 5.834

Problem 1176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 88 62 48 68 58 110 94 57

N.S.

1 1.05 0.74 0.57 0.81 0.69 1.31 1.12 0.68

time (sec)

N/A 0.211 0.048 4.264 0.201 0.260 0.662 0.306 5.461

Problem 1177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

62 66 51 37 50 47 87 68 46

N.S.

1 1.06 0.82 0.60 0.81 0.76 1.40 1.10 0.74

time (sec)

N/A 0.202 0.050 4.626 0.204 0.268 0.436 0.296 5.779

Problem 1178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 44 40 26 32 36 63 42 35

N.S.

1 1.10 1.00 0.65 0.80 0.90 1.58 1.05 0.88

time (sec)

N/A 0.181 0.038 4.479 0.217 0.286 0.283 0.300 5.728

Problem 1179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

19 19 19 16 15 24 39 15 15

N.S.

1 1.00 1.00 0.84 0.79 1.26 2.05 0.79 0.79

time (sec)

N/A 0.145 0.020 4.312 0.191 0.269 0.115 0.280 5.681

Problem 1180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 84 69 75 70 97 44 190 51

N.S.

1 1.22 1.00 1.09 1.01 1.41 0.64 2.75 0.74

time (sec)

N/A 0.197 0.085 4.828 0.291 0.362 0.627 0.276 5.728

Problem 1181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

78 80 74 89 77 176 42 220 58

N.S.

1 1.03 0.95 1.14 0.99 2.26 0.54 2.82 0.74

time (sec)

N/A 0.190 0.175 4.491 0.282 0.271 0.741 0.276 5.878

Problem 1182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 114 94 113 138 214 42 251 83

N.S.

1 1.09 0.90 1.08 1.31 2.04 0.40 2.39 0.79

time (sec)

N/A 0.206 0.212 4.412 0.280 0.286 1.271 0.290 6.025

Problem 1183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 145 98 0 0 0 31 0 0

N.S.

1 1.12 0.75 0.00 0.00 0.00 0.24 0.00 0.00

time (sec)

N/A 0.239 7.456 0.000 0.000 0.000 0.656 0.000 0.000

Problem 1184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 114 66 0 0 0 31 0 0

N.S.

1 1.09 0.63 0.00 0.00 0.00 0.30 0.00 0.00

time (sec)

N/A 0.213 7.239 0.000 0.000 0.000 0.554 0.000 0.000

Problem 1185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 86 52 0 0 0 31 0 0

N.S.

1 1.05 0.63 0.00 0.00 0.00 0.38 0.00 0.00

time (sec)

N/A 0.188 7.063 0.000 0.000 0.000 0.486 0.000 0.000

Problem 1186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

82 82 52 0 0 0 34 0 0

N.S.

1 1.00 0.63 0.00 0.00 0.00 0.41 0.00 0.00

time (sec)

N/A 0.193 10.016 0.000 0.000 0.000 0.524 0.000 0.000

Problem 1187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

105 109 52 0 0 0 36 0 0

N.S.

1 1.04 0.50 0.00 0.00 0.00 0.34 0.00 0.00

time (sec)

N/A 0.212 10.019 0.000 0.000 0.000 0.610 0.000 0.000

Problem 1188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

130 140 52 0 0 0 36 0 0

N.S.

1 1.08 0.40 0.00 0.00 0.00 0.28 0.00 0.00

time (sec)

N/A 0.233 10.016 0.000 0.000 0.000 0.786 0.000 0.000

Problem 1189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 280 161 202 272 232 41 0 0

N.S.

1 1.06 0.61 0.77 1.03 0.88 0.16 0.00 0.00

time (sec)

N/A 0.435 0.839 6.546 0.285 0.271 1.158 0.000 0.000

Problem 1190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A C C F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

232 249 146 176 214 192 41 0 0

N.S.

1 1.07 0.63 0.76 0.92 0.83 0.18 0.00 0.00

time (sec)

N/A 0.389 0.580 4.634 0.293 0.264 0.664 0.000 0.000

Problem 1191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F(-1) C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

226 245 146 179 191 0 42 0 41

N.S.

1 1.08 0.65 0.79 0.85 0.00 0.19 0.00 0.18

time (sec)

N/A 0.385 0.468 4.522 0.296 0.000 0.659 0.000 5.845

Problem 1192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

22 22 22 19 18 27 158 0 18

N.S.

1 1.00 1.00 0.86 0.82 1.23 7.18 0.00 0.82

time (sec)

N/A 0.146 0.171 4.470 0.196 0.268 0.511 0.000 5.765

Problem 1193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 42 29 37 38 406 0 38

N.S.

1 1.00 0.91 0.63 0.80 0.83 8.83 0.00 0.83

time (sec)

N/A 0.167 0.196 4.551 0.198 0.260 0.725 0.000 5.922

Problem 1194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

71 77 43 40 55 50 1090 0 77

N.S.

1 1.08 0.61 0.56 0.77 0.70 15.35 0.00 1.08

time (sec)

N/A 0.192 0.211 4.495 0.186 0.281 1.061 0.000 6.077

Problem 1195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A C F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

96 108 54 51 73 61 1756 0 98

N.S.

1 1.12 0.56 0.53 0.76 0.64 18.29 0.00 1.02

time (sec)

N/A 0.221 0.233 4.537 0.187 0.256 1.519 0.000 6.387

Problem 1196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

156 173 108 0 0 0 41 0 0

N.S.

1 1.11 0.69 0.00 0.00 0.00 0.26 0.00 0.00

time (sec)

N/A 0.338 7.673 0.000 0.000 0.000 0.756 0.000 0.000

Problem 1197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

131 142 96 0 0 0 41 0 0

N.S.

1 1.08 0.73 0.00 0.00 0.00 0.31 0.00 0.00

time (sec)

N/A 0.299 7.478 0.000 0.000 0.000 0.623 0.000 0.000

Problem 1198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

106 111 64 0 0 0 41 0 0

N.S.

1 1.05 0.60 0.00 0.00 0.00 0.39 0.00 0.00

time (sec)

N/A 0.262 7.281 0.000 0.000 0.000 0.520 0.000 0.000

Problem 1199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

83 83 47 0 0 0 39 0 38

N.S.

1 1.00 0.57 0.00 0.00 0.00 0.47 0.00 0.46

time (sec)

N/A 0.221 7.107 0.000 0.000 0.000 0.481 0.000 5.583

Problem 1200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F F F C F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

85 85 52 0 0 0 34 0 0

N.S.

1 1.00 0.61 0.00 0.00 0.00 0.40 0.00 0.00

time (sec)

N/A 0.229 10.016 0.000 0.000 0.000 0.535 0.000 0.000

[next] [prev] [prev-tail] [front] [up]